扫一扫
关注中图网
官方微博
-
吴文俊全集 数学机械化 5
¥214.6(7.2折)定价:¥298.0本卷收录了吴文俊在数学机械化领域发表的46篇论文，内容包括：几何定理机器证明的吴方法、多项式系统符号求解的Ritt-吴特征列方法、构造性微分代数几何理论、不等式机器证明与优化问题的有限核定理等数学机械化领域的奠基性成果，还包括数学机械化方法在数学定理的自动发现、天体中心构型问题求解、平面机构定理的机器证明、机器人的运动学问题的自动求解、几何设计中的曲面拼接等问题中的应用...
-
(5本套)100层的房子
¥116.6(5.8折)定价:¥201.0《100层的房子系列（全5册）》是一套集故事和科普于一体的绘本，5个分册分别为：《100层的房子》、《地下100层的房子》、《海底100层的房子》、《天空100层的房子》和《森林100层的房子》。读者随书中的主人公走进一座座奇妙的房子，房子里住着不同的小动物，他们的房间也都布置得很有特色。仔细观察每一层楼，都会从中发现与小动物的生活习性、地理位置或天气现象相关的元素，1-100的数字也以各种形式展示在每个房间里，色彩鲜艳、细节丰富的画
